" Claude Jard" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan

Категория: Cs_Computer science, CsLn_Lecture notes

1.52 Mb

#2

Formal Modeling and Analysis of Timed Systems, 6 conf., FORMATS 2008

Franck Cassez, Claude Jard

Категория: CsLn_

3.83 Mb